Efficient control flow quantification
نویسندگان
چکیده
منابع مشابه
Efficient Multicast on Myrinet using Link-Level Flow Control
This paper studies the implementation of efficient multicast protocols for Myrinet, a switched, wormhole-routed, Gigabit-per-second network technology. Since Myrinet does not support multicasting in hardware, multicast services must be implemented in software. We present a new, efficient, and reliable software multicast protocol that uses the network interface to efficiently forward multicast t...
متن کاملMedical cloud platform for efficient flow control technology
In this paper, cloud computing application in the construction of medical information technology, medical cloud platform for large-scale data needs to be efficient flow control, this paper first of several flow control algorithm, algorithm analysis, medical cloud platform the HTB flow control algorithm is applied, experimentalprove its cloud platform, data-processing capacity in the health care...
متن کاملEfficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs
Java Virtual Machine (JVM) code (also called bytecode) [11] can be downloaded by untrusted sources and executed directly. A component of the Java security model is the Java bytecode Verifier, which makes sure that the bytecode is safe by static analysis at loading time and prior to execution. The bytecode Verifier checks type correctness, stack overflow or underflow, code containment, registers...
متن کاملEfficient RAM and control flow in verifiable outsourced computation
Recent work on proof-based verifiable computation has resulted in built systems that employ tools from complexity theory and cryptography to address a basic problem in systems security: allowing a local computer to outsource the execution of a program while providing the local computer with a guarantee of integrity and the remote computer with a guarantee of privacy. However, support for progra...
متن کاملVirtual-credit: Efficient end-to-end credit based flow control
We present a new ow control scheme, called virtual credit. This scheme may be considered either as a credit based ow-control algorithm without a queue per session at the ports, or as a way to modify the credit based scheme and to bring it closer to an end-to-end rate based scheme. Thus, the new scheme brings the credit based and rate based ow control schemes closer to each other, ooering an att...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2006
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1167515.1167484